大拱桥--暨南大学学生门户 » 图书馆 » 搜索包含 IEEE Computer Society. Technical Committee on Mathematical Foundations of Computing 的图书(共6748本)

Optimality and Risk - Modern Trends in Mathematical Finance [electronic resource] : The Kabanov Festschrift

0
索取号:
作者:Delbaen、 Freddy.、R谩sonyi、 Mikl贸s.、Stricker、 Christophe.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2009.

Human-Computer Interaction. Interacting in Various Application Domains [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part IV

0
索取号:
作者:Jacko、 Julie A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Ambient, Ubiquitous and Intelligent Interaction [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part III

0
索取号:
作者:Jacko、 Julie A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. Novel Interaction Methods and Techniques [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part II

0
索取号:
作者:Jacko、 Julie A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Human-Computer Interaction. New Trends [electronic resource] : 13th International Conference, HCI International 2009, San Diego, CA, USA, July 19-24, 2009, Proceedings, Part I

0
索取号:
作者:Jacko、 Julie A.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Music Modeling and Retrieval. Genesis of Meaning in Sound and Music [electronic resource] : 5th International Symposium, CMMR 2008 Copenhagen, Denmark, May 19-23, 2008 Revised Papers

0
索取号:
作者:Ystad、 S酶lvi.、Kronland-Martinet、 Richard.、Jensen、 Kristoffer.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Distributed Computing, Artificial Intelligence, Bioinformatics, Soft Computing, and Ambient Assisted Living [electronic resource] : 10th International Work-Conference on Artificial Neural Networks, IWANN 2009 Workshops, Salamanca, Spain, June 10-12, 2009. Proceedings, Part II

0
索取号:
作者:Omatu、 Sigeru.、Rocha、 Miguel P.、Bravo、 Jos茅.、Fern谩ndez、 Florentino.、Corchado、 Emilio.、Bustillo、 Andr茅s.、Corchado、 Juan M.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Conceptual Modeling: Foundations and Applications [electronic resource] : Essays in Honor of John Mylopoulos

0
索取号:
作者:Borgida、 Alexander T.、Chaudhri、 Vinay K.、Giorgini、 Paolo.、Yu、 Eric S.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer Vision and Graphics [electronic resource] : International Conference, ICCVG 2008 Warsaw, Poland, November 10-12, 2008 Revised Papers

0
索取号:
作者:Bolc、 Leonard.、Kulikowski、 Juliusz L.、Wojciechowski、 Konrad.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Applied Computing, Computer Science, and Advanced Communication [electronic resource] : First International Conference on Future Computer and Communication, FCC 2009, Wuhan, China, June 6-7, 2009. Proceedings

0
索取号:
作者:Qi、 Luo.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Computer-Mediated Social Networking [electronic resource] : First International Conference, ICCMSN 2008, Dunedin, New Zealand, June 11-13, 2008, Revised Selected Papers

0
索取号:
作者:Purvis、 Maryam.、Savarimuthu、 Bastin Tony Roy.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Scale Space and Variational Methods in Computer Vision [electronic resource] : Second International Conference, SSVM 2009, Voss, Norway, June 1-5, 2009. Proceedings

0
索取号:
作者:Tai、 Xue-Cheng.、M酶rken、 Knut.、Lysaker、 Marius.、Lie、 Knut-Andreas.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Brain-Computer Interfaces [electronic resource] : Revolutionizing Human-Computer Interaction

0
索取号:
作者:Graimann、 Bernhard.、Pfurtscheller、 Gert.、Allison、 Brendan.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2010.

Distributed Computing in Sensor Systems [electronic resource] : 5th IEEE International Conference, DCOSS 2009, Marina del Rey, CA, USA, June 8-10, 2009. Proceedings

0
索取号:
作者:Krishnamachari、 Bhaskar.、Suri、 Subhash.、Heinzelman、 Wendi.、Mitra、 Urbashi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

Formal Methods for Web Services [electronic resource] : 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009, Bertinoro, Italy, June 1-6, 2009, Advanced Lectures

0
索取号:
作者:Bernardo、 Marco.、Padovani、 Luca.、Zavattaro、 Gianluigi.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.

The Future of Identity in the Information Society [electronic resource]

0
索取号:
作者:Rannenberg、 Kai.、Royer、 Denis.、Deuker、 Andr茅.、SpringerLink (Online service)、
出版社:Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.